fun ([<Foo>] a: int) -> ()
